[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 164 169 166 182 187 173 158 0

N.S.

1 1.00 1.01 1.04 1.02 1.12 1.15 1.06 0.97 0.00

time (sec)

N/A 0.185 0.047 0.002 0.813 1.073 0.101 0.340 1.599 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

135 135 135 136 135 147 151 141 130 0

N.S.

1 1.00 1.00 1.01 1.00 1.09 1.12 1.04 0.96 0.00

time (sec)

N/A 0.125 0.037 0.000 0.720 0.639 0.093 0.341 0.056 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 104 103 102 112 117 109 102 0

N.S.

1 1.00 1.01 1.00 0.99 1.09 1.14 1.06 0.99 0.00

time (sec)

N/A 0.097 0.029 0.000 0.653 0.865 0.085 0.304 0.043 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 70 69 76 75 76 70 0

N.S.

1 1.00 1.00 0.96 0.95 1.04 1.03 1.04 0.96 0.00

time (sec)

N/A 0.062 0.022 0.000 0.747 0.914 0.077 0.332 0.035 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 37 36 40 39 43 38 0

N.S.

1 1.00 1.00 0.88 0.86 0.95 0.93 1.02 0.90 0.00

time (sec)

N/A 0.028 0.009 0.001 0.552 1.028 0.066 0.325 0.043 0.000

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

188 188 176 313 169 465 175 173 165 0

N.S.

1 1.00 0.94 1.66 0.90 2.47 0.93 0.92 0.88 0.00

time (sec)

N/A 0.211 0.155 0.007 1.523 0.977 0.901 0.372 0.269 0.001

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

213 213 199 345 204 697 206 199 187 0

N.S.

1 1.00 0.93 1.62 0.96 3.27 0.97 0.93 0.88 0.00

time (sec)

N/A 0.226 0.192 0.008 1.600 1.084 1.676 0.380 1.801 0.001

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

242 242 209 362 240 941 246 224 221 0

N.S.

1 1.00 0.86 1.50 0.99 3.89 1.02 0.93 0.91 0.00

time (sec)

N/A 0.262 0.267 0.010 1.694 0.863 5.234 0.401 0.288 0.001

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 126 260 0 430 620 131 3586 0

N.S.

1 1.00 0.95 1.97 0.00 3.26 4.70 0.99 27.17 0.00

time (sec)

N/A 0.218 0.068 0.006 0.000 1.770 55.468 0.999 2.404 0.001

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 93 175 0 305 434 95 2624 0

N.S.

1 1.00 0.96 1.80 0.00 3.14 4.47 0.98 27.05 0.00

time (sec)

N/A 0.120 0.070 0.003 0.000 1.161 17.489 1.065 2.950 0.001

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 71 99 0 216 287 70 1632 0

N.S.

1 1.00 0.99 1.38 0.00 3.00 3.99 0.97 22.67 0.00

time (sec)

N/A 0.073 0.051 0.004 0.000 1.285 6.548 1.206 2.627 0.001

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 80 106 0 240 0 76 4149 0

N.S.

1 1.00 1.03 1.36 0.00 3.08 0.00 0.97 53.19 0.00

time (sec)

N/A 0.128 0.035 0.006 0.000 1.356 0.000 1.046 6.765 0.001

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

112 112 130 191 0 385 0 128 7282 0

N.S.

1 1.00 1.16 1.71 0.00 3.44 0.00 1.14 65.02 0.00

time (sec)

N/A 0.197 0.050 0.008 0.000 2.597 0.000 1.071 9.569 0.001

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

723 723 88 70 0 0 0 0 13112 0

N.S.

1 1.00 0.12 0.10 0.00 0.00 0.00 0.00 18.14 0.00

time (sec)

N/A 1.813 0.048 0.013 0.000 0.000 0.000 0.000 42.007 0.001

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

718 718 88 67 0 0 0 0 11453 0

N.S.

1 1.00 0.12 0.09 0.00 0.00 0.00 0.00 15.95 0.00

time (sec)

N/A 1.457 0.050 0.004 0.000 0.000 0.000 0.000 30.152 0.001

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

634 634 59 49 0 13607 0 0 7457 0

N.S.

1 1.00 0.09 0.08 0.00 21.46 0.00 0.00 11.76 0.00

time (sec)

N/A 0.728 0.030 0.005 0.000 119.716 0.000 0.000 24.559 0.001

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

634 634 61 47 0 14094 0 0 7469 0

N.S.

1 1.00 0.10 0.07 0.00 22.23 0.00 0.00 11.78 0.00

time (sec)

N/A 0.654 0.030 0.007 0.000 39.394 0.000 0.000 18.962 0.001

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F(-1) F(-1) F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

653 653 85 70 0 0 0 0 11174 0

N.S.

1 1.00 0.13 0.11 0.00 0.00 0.00 0.00 17.11 0.00

time (sec)

N/A 1.175 0.047 0.013 0.000 0.000 0.000 0.000 38.020 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F(-1) F(-1) F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

655 655 89 68 0 0 0 0 13466 0

N.S.

1 1.00 0.14 0.10 0.00 0.00 0.00 0.00 20.56 0.00

time (sec)

N/A 1.110 0.047 0.010 0.000 0.000 0.000 0.000 37.903 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 46 38 37 37 42 37 39 0

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.91 0.80 0.85 0.00

time (sec)

N/A 0.058 0.016 0.003 0.988 1.460 0.137 0.418 0.056 0.001

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 31 25 24 24 32 24 26 0

N.S.

1 1.00 1.00 0.81 0.77 0.77 1.03 0.77 0.84 0.00

time (sec)

N/A 0.035 0.008 0.003 0.960 1.639 0.121 0.577 0.038 0.001

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 39 33 32 32 37 32 34 0

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.95 0.82 0.87 0.00

time (sec)

N/A 0.040 0.009 0.003 0.951 1.353 0.135 0.568 0.046 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 44 35 38 34 41 35 36 0

N.S.

1 1.00 1.07 0.85 0.93 0.83 1.00 0.85 0.88 0.00

time (sec)

N/A 0.055 0.013 0.006 0.973 1.457 0.149 0.592 1.859 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 45 25 24 28 36 24 26 0

N.S.

1 1.00 1.45 0.81 0.77 0.90 1.16 0.77 0.84 0.00

time (sec)

N/A 0.045 0.013 0.006 0.960 1.063 0.144 0.449 0.045 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

418 418 47 46 0 1036 31 642 332 0

N.S.

1 1.00 0.11 0.11 0.00 2.48 0.07 1.54 0.79 0.00

time (sec)

N/A 0.538 0.011 0.007 0.000 1.328 0.182 0.576 0.652 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

382 382 48 44 0 1588 32 817 309 0

N.S.

1 1.00 0.13 0.12 0.00 4.16 0.08 2.14 0.81 0.00

time (sec)

N/A 0.328 0.013 0.004 0.000 1.471 0.185 0.692 2.279 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

378 378 46 41 0 1030 24 632 330 0

N.S.

1 1.00 0.12 0.11 0.00 2.72 0.06 1.67 0.87 0.00

time (sec)

N/A 0.259 0.013 0.006 0.000 1.386 0.180 0.626 2.376 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

411 411 55 44 0 1583 22 821 281 0

N.S.

1 1.00 0.13 0.11 0.00 3.85 0.05 2.00 0.68 0.00

time (sec)

N/A 0.276 0.013 0.005 0.000 1.521 0.181 0.582 2.264 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

411 411 57 44 0 1031 26 637 319 0

N.S.

1 1.00 0.14 0.11 0.00 2.51 0.06 1.55 0.78 0.00

time (sec)

N/A 0.277 0.012 0.004 0.000 1.270 0.179 0.722 2.299 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

416 416 47 46 0 1598 31 829 313 0

N.S.

1 1.00 0.11 0.11 0.00 3.84 0.07 1.99 0.75 0.00

time (sec)

N/A 0.275 0.014 0.007 0.000 1.512 0.195 0.708 0.398 0.001

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

418 418 47 46 0 1062 32 642 332 0

N.S.

1 1.00 0.11 0.11 0.00 2.54 0.08 1.54 0.79 0.00

time (sec)

N/A 0.359 0.012 0.007 0.000 1.347 0.200 0.642 2.399 0.001

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

36 36 37 33 32 32 37 32 34 0

N.S.

1 1.00 1.03 0.92 0.89 0.89 1.03 0.89 0.94 0.00

time (sec)

N/A 0.039 0.010 0.003 0.977 1.093 0.134 0.462 1.845 0.001

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 55 35 38 34 41 35 36 0

N.S.

1 1.00 1.41 0.90 0.97 0.87 1.05 0.90 0.92 0.00

time (sec)

N/A 0.056 0.014 0.006 0.989 1.100 0.150 0.540 1.847 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 55 35 0 34 41 35 36 0

N.S.

1 1.00 1.41 0.90 0.00 0.87 1.05 0.90 0.92 0.00

time (sec)

N/A 0.063 0.010 0.006 0.000 1.576 0.144 0.410 0.039 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F F(-1) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

433 433 88 67 0 0 0 0 50213 0

N.S.

1 1.00 0.20 0.15 0.00 0.00 0.00 0.00 115.97 0.00

time (sec)

N/A 1.132 0.075 0.006 0.000 0.000 0.000 0.000 9.632 0.001

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 71 99 0 216 287 70 3704 0

N.S.

1 1.00 0.99 1.38 0.00 3.00 3.99 0.97 51.44 0.00

time (sec)

N/A 0.072 0.057 0.004 0.000 1.105 18.295 20.738 4.206 0.001

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F(-1) F(-2) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

375 375 59 51 0 13521 0 0 29445 0

N.S.

1 1.00 0.16 0.14 0.00 36.06 0.00 0.00 78.52 0.00

time (sec)

N/A 0.456 0.046 0.003 0.000 47.545 0.000 0.000 9.569 0.001

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

184 184 179 340 0 1535 0 1406 4501 0

N.S.

1 1.00 0.97 1.85 0.00 8.34 0.00 7.64 24.46 0.00

time (sec)

N/A 0.213 0.152 0.020 0.000 1.322 0.000 20.309 7.053 0.001

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

375 375 61 47 0 13304 0 0 36707 0

N.S.

1 1.00 0.16 0.13 0.00 35.48 0.00 0.00 97.89 0.00

time (sec)

N/A 0.351 0.047 0.002 0.000 10.109 0.000 0.000 8.746 0.001

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 80 106 0 240 0 78 8454 0

N.S.

1 1.00 1.03 1.36 0.00 3.08 0.00 1.00 108.38 0.00

time (sec)

N/A 0.126 0.033 0.007 0.000 2.511 0.000 20.628 5.271 0.001

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F(-1) F(-1) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

392 392 85 72 0 0 0 0 39028 0

N.S.

1 1.00 0.22 0.18 0.00 0.00 0.00 0.00 99.56 0.00

time (sec)

N/A 0.683 0.064 0.007 0.000 0.000 0.000 0.000 9.459 0.001

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

199 199 89 365 0 2772 0 3006 15013 0

N.S.

1 1.00 0.45 1.83 0.00 13.93 0.00 15.11 75.44 0.00

time (sec)

N/A 0.311 0.045 0.023 0.000 2.211 0.000 22.519 7.620 0.001

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F(-1) F(-1) F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

394 394 86 68 0 0 0 0 65350 0

N.S.

1 1.00 0.22 0.17 0.00 0.00 0.00 0.00 165.86 0.00

time (sec)

N/A 0.625 0.071 0.007 0.000 0.000 0.000 0.000 10.224 0.001

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

278 278 46 34 0 218 170 208 56 0

N.S.

1 1.00 0.17 0.12 0.00 0.78 0.61 0.75 0.20 0.00

time (sec)

N/A 0.300 0.016 0.007 0.000 1.270 0.226 0.452 1.920 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 39 33 32 32 37 32 34 0

N.S.

1 1.00 1.00 0.85 0.82 0.82 0.95 0.82 0.87 0.00

time (sec)

N/A 0.042 0.014 0.006 1.507 0.731 0.146 0.628 0.049 0.001

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

355 355 55 46 0 715 27 253 248 0

N.S.

1 1.00 0.15 0.13 0.00 2.01 0.08 0.71 0.70 0.00

time (sec)

N/A 0.289 0.016 0.008 0.000 1.108 3.164 0.481 1.985 0.001

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 44 39 0 41 42 31 20 0

N.S.

1 1.00 0.88 0.78 0.00 0.82 0.84 0.62 0.40 0.00

time (sec)

N/A 0.040 0.016 0.017 0.000 0.868 0.129 0.440 1.889 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

355 355 57 44 0 715 26 253 208 0

N.S.

1 1.00 0.16 0.12 0.00 2.01 0.07 0.71 0.59 0.00

time (sec)

N/A 0.216 0.014 0.000 0.000 0.689 3.226 0.536 0.002 0.001

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 44 35 38 34 41 38 36 0

N.S.

1 1.00 1.07 0.85 0.93 0.83 1.00 0.93 0.88 0.00

time (sec)

N/A 0.053 0.013 0.007 0.965 0.890 0.160 0.453 1.886 0.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

280 280 47 38 0 224 168 210 58 0

N.S.

1 1.00 0.17 0.14 0.00 0.80 0.60 0.75 0.21 0.00

time (sec)

N/A 0.208 0.015 0.010 0.000 0.990 0.234 0.582 1.860 0.001

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 49 70 0 188 76 81 56 0

N.S.

1 1.00 0.55 0.79 0.00 2.11 0.85 0.91 0.63 0.00

time (sec)

N/A 0.090 0.016 0.011 0.000 1.032 0.232 0.528 0.099 0.001

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C F B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

370 370 47 46 0 608 32 258 479 0

N.S.

1 1.00 0.13 0.12 0.00 1.64 0.09 0.70 1.29 0.00

time (sec)

N/A 0.269 0.015 0.009 0.000 1.188 3.175 0.444 0.068 0.001

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

280 280 283 662 0 1027 0 295 2490 0

N.S.

1 1.00 1.01 2.36 0.00 3.67 0.00 1.05 8.89 0.00

time (sec)

N/A 0.597 0.229 0.014 0.000 94.895 0.000 0.376 6.206 0.001

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

218 218 218 512 0 798 0 224 2051 0

N.S.

1 1.00 1.00 2.35 0.00 3.66 0.00 1.03 9.41 0.00

time (sec)

N/A 0.395 0.172 0.010 0.000 52.349 0.000 0.368 5.242 0.001

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

176 176 178 388 0 596 0 185 1367 0

N.S.

1 1.00 1.01 2.20 0.00 3.39 0.00 1.05 7.77 0.00

time (sec)

N/A 0.285 0.185 0.007 0.000 16.037 0.000 0.401 4.339 0.001

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 132 275 0 405 0 149 966 0

N.S.

1 1.00 0.89 1.85 0.00 2.72 0.00 1.00 6.48 0.00

time (sec)

N/A 0.210 0.119 0.006 0.000 5.760 0.000 0.366 3.668 0.001

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 107 169 0 305 0 127 801 0

N.S.

1 1.00 0.86 1.36 0.00 2.46 0.00 1.02 6.46 0.00

time (sec)

N/A 0.145 0.074 0.006 0.000 2.168 0.000 0.392 3.407 0.001

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 105 168 0 305 0 126 521 0

N.S.

1 1.00 0.85 1.37 0.00 2.48 0.00 1.02 4.24 0.00

time (sec)

N/A 0.107 0.073 0.006 0.000 2.054 0.000 0.341 3.817 0.001

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 159 152 285 0 0 0 164 2399 0

N.S.

1 1.01 0.96 1.80 0.00 0.00 0.00 1.04 15.18 0.00

time (sec)

N/A 0.271 0.186 0.007 0.000 0.000 0.000 0.351 5.400 0.001

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

193 193 194 412 0 0 0 210 2388 0

N.S.

1 1.00 1.01 2.13 0.00 0.00 0.00 1.09 12.37 0.00

time (sec)

N/A 0.343 0.174 0.011 0.000 0.000 0.000 0.342 20.389 0.001

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

252 252 252 562 0 0 0 279 3530 0

N.S.

1 1.00 1.00 2.23 0.00 0.00 0.00 1.11 14.01 0.00

time (sec)

N/A 0.428 0.220 0.013 0.000 0.000 0.000 0.348 26.162 0.001

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

343 343 338 943 0 0 0 565 3503 0

N.S.

1 1.00 0.99 2.75 0.00 0.00 0.00 1.65 10.21 0.00

time (sec)

N/A 0.907 0.356 0.014 0.000 0.000 0.000 0.420 8.039 0.001

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

274 274 269 765 0 2139 0 476 2495 0

N.S.

1 1.00 0.98 2.79 0.00 7.81 0.00 1.74 9.11 0.00

time (sec)

N/A 0.563 0.287 0.011 0.000 158.655 0.000 0.401 6.003 0.001

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

246 246 207 580 0 1465 0 412 2037 0

N.S.

1 1.00 0.84 2.36 0.00 5.96 0.00 1.67 8.28 0.00

time (sec)

N/A 0.395 0.227 0.008 0.000 56.306 0.000 0.422 5.112 0.001

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

194 194 159 389 0 1120 0 331 1585 0

N.S.

1 1.00 0.82 2.01 0.00 5.77 0.00 1.71 8.17 0.00

time (sec)

N/A 0.306 0.225 0.010 0.000 19.721 0.000 0.347 6.091 0.001

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

183 183 148 328 0 1059 0 323 1768 0

N.S.

1 1.00 0.81 1.79 0.00 5.79 0.00 1.77 9.66 0.00

time (sec)

N/A 0.236 0.244 0.008 0.000 16.697 0.000 0.366 8.070 0.001

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 151 386 0 1079 0 331 1782 0

N.S.

1 1.00 0.80 2.04 0.00 5.71 0.00 1.75 9.43 0.00

time (sec)

N/A 0.305 0.211 0.009 0.000 9.280 0.000 0.354 8.109 0.001

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

248 249 246 589 0 0 0 391 3510 0

N.S.

1 1.00 0.99 2.38 0.00 0.00 0.00 1.58 14.15 0.00

time (sec)

N/A 0.409 0.253 0.013 0.000 0.000 0.000 0.408 25.284 0.001

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

291 291 287 791 0 0 0 487 4948 0

N.S.

1 1.00 0.99 2.72 0.00 0.00 0.00 1.67 17.00 0.00

time (sec)

N/A 0.563 0.340 0.014 0.000 0.000 0.000 0.361 31.159 0.002

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

372 372 370 993 0 0 0 587 7144 0

N.S.

1 1.00 0.99 2.67 0.00 0.00 0.00 1.58 19.20 0.00

time (sec)

N/A 0.851 0.425 0.016 0.000 0.000 0.000 0.488 45.611 0.001

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 201 46548 14 1446 1326 216 1203 0

N.S.

1 1.00 12.56 2909.25 0.88 90.38 82.88 13.50 75.19 0.00

time (sec)

N/A 0.060 0.176 0.003 0.430 0.762 0.350 0.434 3.341 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 233 46552 1240 1454 1384 246 1210 0

N.S.

1 1.00 12.94 2586.22 68.89 80.78 76.89 13.67 67.22 0.00

time (sec)

N/A 0.329 0.177 0.003 0.490 0.763 0.338 0.661 3.234 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 233 46552 1240 1454 1394 246 1210 0

N.S.

1 1.00 12.94 2586.22 68.89 80.78 77.44 13.67 67.22 0.00

time (sec)

N/A 0.302 0.182 0.003 0.546 0.773 0.342 0.609 3.183 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 22 2042 2041 1297 0 1693 1395 1485

N.S.

1 1.00 0.96 88.78 88.74 56.39 0.00 73.61 60.65 64.57

time (sec)

N/A 0.056 0.068 0.062 0.857 1.218 0.000 1.002 5.778 0.350

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 201 47685 16 1450 1326 218 1208 0

N.S.

1 1.00 11.17 2649.17 0.89 80.56 73.67 12.11 67.11 0.00

time (sec)

N/A 0.069 0.175 0.004 0.444 0.889 0.360 0.473 1.376 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 233 47688 1242 1454 1384 246 1214 0

N.S.

1 1.00 11.65 2384.40 62.10 72.70 69.20 12.30 60.70 0.00

time (sec)

N/A 0.322 0.169 0.002 0.525 0.814 0.359 0.572 3.251 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 233 47688 1242 1454 1394 246 1214 0

N.S.

1 1.00 11.65 2384.40 62.10 72.70 69.70 12.30 60.70 0.00

time (sec)

N/A 0.310 0.167 0.001 0.505 0.804 0.360 0.683 1.282 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 24 2046 2045 1299 0 1693 1401 1485

N.S.

1 1.00 0.96 81.84 81.80 51.96 0.00 67.72 56.04 59.40

time (sec)

N/A 0.060 0.054 0.059 0.827 0.861 0.000 1.089 5.776 0.383

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 172 155 13 154 175 13 154 0

N.S.

1 1.00 11.47 10.33 0.87 10.27 11.67 0.87 10.27 0.00

time (sec)

N/A 0.014 0.005 0.001 0.435 0.551 0.129 0.402 2.088 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 182 157 156 156 182 15 156 0

N.S.

1 1.00 11.38 9.81 9.75 9.75 11.38 0.94 9.75 0.00

time (sec)

N/A 0.054 0.006 0.001 0.433 0.724 0.127 0.383 2.080 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 186 157 156 156 185 15 156 0

N.S.

1 1.00 11.62 9.81 9.75 9.75 11.56 0.94 9.75 0.00

time (sec)

N/A 0.056 0.006 0.001 0.439 0.741 0.127 0.508 2.079 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 230 229 189 0 189 229 21

N.S.

1 1.00 1.00 10.95 10.90 9.00 0.00 9.00 10.90 1.00

time (sec)

N/A 0.033 0.117 0.035 0.478 0.866 0.000 0.433 2.628 0.058

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 10 12 11 11 10 12 11 0

N.S.

1 1.00 0.91 1.09 1.00 1.00 0.91 1.09 1.00 0.00

time (sec)

N/A 0.004 0.003 0.002 0.446 1.064 0.155 0.347 1.962 0.001

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 17 16 15 15 14 16 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 0.94 0.88 0.00

time (sec)

N/A 0.019 0.006 0.002 0.428 1.037 0.280 1.734 1.956 0.001

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 17 16 15 15 14 16 15 0

N.S.

1 1.00 1.00 0.94 0.88 0.88 0.82 0.94 0.88 0.00

time (sec)

N/A 0.024 0.006 0.001 0.439 0.807 0.413 1.092 0.052 0.001

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 24 23 19 0 19 121 19

N.S.

1 1.00 1.00 1.26 1.21 1.00 0.00 1.00 6.37 1.00

time (sec)

N/A 0.027 0.105 0.025 0.598 1.130 0.000 0.464 2.317 0.050

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 15 15 14 350 359 14 358 0

N.S.

1 1.00 0.94 0.94 0.88 21.88 22.44 0.88 22.38 0.00

time (sec)

N/A 0.005 0.012 0.000 0.438 0.655 4.791 0.395 3.616 0.001

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 17 352 352 360 16 360 0

N.S.

1 1.00 1.00 0.94 19.56 19.56 20.00 0.89 20.00 0.00

time (sec)

N/A 0.020 0.012 0.000 0.948 1.052 7.662 6.776 12.162 0.001

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 17 352 352 360 16 360 0

N.S.

1 1.00 1.00 0.94 19.56 19.56 20.00 0.89 20.00 0.00

time (sec)

N/A 0.023 0.013 0.002 0.954 1.012 11.757 22.371 18.211 0.001

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 22 22 416 394 0 21 496 23

N.S.

1 1.00 0.96 0.96 18.09 17.13 0.00 0.91 21.57 1.00

time (sec)

N/A 0.027 0.060 0.064 2.393 1.064 0.000 0.633 23.011 0.072

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

13 13 12 14 13 13 10 14 13 0

N.S.

1 1.00 0.92 1.08 1.00 1.00 0.77 1.08 1.00 0.00

time (sec)

N/A 0.005 0.005 0.001 0.435 0.848 0.151 0.390 0.049 0.001

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 18 17 17 14 18 17 0

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.74 0.95 0.89 0.00

time (sec)

N/A 0.019 0.007 0.000 0.437 0.632 0.281 1.624 0.049 0.001

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 19 18 17 17 14 18 17 0

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.74 0.95 0.89 0.00

time (sec)

N/A 0.024 0.007 0.001 0.431 0.764 0.392 1.040 0.059 0.001

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 26 25 21 0 21 199 21

N.S.

1 1.00 1.00 1.24 1.19 1.00 0.00 1.00 9.48 1.00

time (sec)

N/A 0.029 0.117 0.025 0.599 1.219 0.000 0.374 2.676 0.080

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 16 17 16 354 359 16 358 0

N.S.

1 1.00 0.89 0.94 0.89 19.67 19.94 0.89 19.89 0.00

time (sec)

N/A 0.004 0.013 0.002 0.428 0.982 5.060 0.427 5.221 0.001

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 19 356 356 360 18 360 0

N.S.

1 1.00 1.00 0.95 17.80 17.80 18.00 0.90 18.00 0.00

time (sec)

N/A 0.020 0.017 0.000 0.967 0.999 8.089 7.187 11.044 0.002

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 19 356 356 360 18 360 0

N.S.

1 1.00 1.00 0.95 17.80 17.80 18.00 0.90 18.00 0.00

time (sec)

N/A 0.024 0.017 0.001 0.938 0.758 11.792 22.351 16.597 0.001

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 23 24 419 397 0 23 496 25

N.S.

1 1.00 0.92 0.96 16.76 15.88 0.00 0.92 19.84 1.00

time (sec)

N/A 0.029 0.066 0.067 2.423 0.974 0.000 0.790 22.399 0.081

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 9 9 10 10 8 11 8 0

N.S.

1 1.00 0.90 0.90 1.00 1.00 0.80 1.10 0.80 0.00

time (sec)

N/A 0.004 0.004 0.002 0.440 0.812 0.122 0.456 0.051 0.001

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 15 15 14 17 13 12 15 13 0

N.S.

1 0.94 0.94 0.88 1.06 0.81 0.75 0.94 0.81 0.00

time (sec)

N/A 0.024 0.006 0.006 0.426 0.612 0.191 0.486 0.064 0.001

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 15 15 14 17 13 12 15 13 0

N.S.

1 0.94 0.94 0.88 1.06 0.81 0.75 0.94 0.81 0.00

time (sec)

N/A 0.030 0.007 0.006 0.427 0.871 0.202 0.340 1.991 0.001

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 15 18 47 17 48 17 28 24

N.S.

1 1.00 1.00 1.20 3.13 1.13 3.20 1.13 1.87 1.60

time (sec)

N/A 0.035 0.012 0.022 0.442 0.863 31.234 0.374 2.225 0.058

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

15 15 14 177 13 81 87 13 12 0

N.S.

1 1.00 0.93 11.80 0.87 5.40 5.80 0.87 0.80 0.00

time (sec)

N/A 0.004 0.020 0.016 0.422 0.857 0.879 0.318 4.296 0.001

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 16 197 81 81 87 15 14 0

N.S.

1 1.00 1.00 12.31 5.06 5.06 5.44 0.94 0.88 0.00

time (sec)

N/A 0.021 0.029 0.019 0.520 0.885 1.384 0.450 2.332 0.001

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

16 16 16 197 81 81 87 15 14 0

N.S.

1 1.00 1.00 12.31 5.06 5.06 5.44 0.94 0.88 0.00

time (sec)

N/A 0.025 0.037 0.013 0.514 0.713 1.897 0.606 5.065 0.001

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 203 612 105 0 20 107 21

N.S.

1 1.00 1.00 9.67 29.14 5.00 0.00 0.95 5.10 1.00

time (sec)

N/A 0.032 0.181 0.052 0.663 0.913 0.000 0.440 2.357 0.110

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 19 21 20 28 104 20 39 0

N.S.

1 1.00 0.95 1.05 1.00 1.40 5.20 1.00 1.95 0.00

time (sec)

N/A 0.005 0.009 0.003 0.425 0.794 57.114 0.414 2.037 0.029

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 24 33 33 0 23 49 0

N.S.

1 1.00 1.00 0.96 1.32 1.32 0.00 0.92 1.96 0.00

time (sec)

N/A 0.019 0.011 0.004 0.595 0.783 0.000 0.460 2.092 0.060

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

25 25 25 24 33 33 0 23 49 0

N.S.

1 1.00 1.00 0.96 1.32 1.32 0.00 0.92 1.96 0.00

time (sec)

N/A 0.024 0.012 0.006 0.578 0.807 0.000 0.319 2.115 0.077

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 26 40 39 38 0 27 56 0

N.S.

1 1.00 0.96 1.48 1.44 1.41 0.00 1.00 2.07 0.00

time (sec)

N/A 0.028 0.029 0.059 0.722 0.965 0.000 0.845 2.569 0.074

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

22 22 21 23 22 32 104 22 42 0

N.S.

1 1.00 0.95 1.05 1.00 1.45 4.73 1.00 1.91 0.00

time (sec)

N/A 0.005 0.011 0.001 0.422 0.824 56.660 0.397 2.049 0.028

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 27 26 37 37 0 25 52 0

N.S.

1 1.00 1.00 0.96 1.37 1.37 0.00 0.93 1.93 0.00

time (sec)

N/A 0.020 0.015 0.003 0.597 0.834 0.000 0.454 2.047 0.054

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 27 26 37 37 0 25 52 0

N.S.

1 1.00 1.00 0.96 1.37 1.37 0.00 0.93 1.93 0.00

time (sec)

N/A 0.025 0.016 0.006 0.588 0.877 0.000 0.385 2.079 0.080

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 28 45 43 42 0 29 59 0

N.S.

1 1.00 0.97 1.55 1.48 1.45 0.00 1.00 2.03 0.00

time (sec)

N/A 0.028 0.034 0.060 0.708 0.876 0.000 0.820 2.536 0.076

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

19 19 17 24 19 26 46 19 23 0

N.S.

1 1.00 0.89 1.26 1.00 1.37 2.42 1.00 1.21 0.00

time (sec)

N/A 0.004 0.010 0.005 0.428 1.002 0.662 0.410 2.034 0.029

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 97 31 35 31 85 22 31 0

N.S.

1 1.00 4.04 1.29 1.46 1.29 3.54 0.92 1.29 0.00

time (sec)

N/A 0.014 0.073 0.003 0.588 0.847 17.117 0.400 2.074 0.105

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

24 24 97 31 35 31 0 22 31 0

N.S.

1 1.00 4.04 1.29 1.46 1.29 0.00 0.92 1.29 0.00

time (sec)

N/A 0.020 0.074 0.003 0.590 0.766 0.000 0.671 2.069 0.222

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C C A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

26 26 111 155 40 36 0 26 34 0

N.S.

1 1.00 4.27 5.96 1.54 1.38 0.00 1.00 1.31 0.00

time (sec)

N/A 0.079 0.130 0.106 0.766 0.881 0.000 0.834 2.126 0.134

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 47 36 34 33 126 0 31 47

N.S.

1 1.00 1.00 0.77 0.72 0.70 2.68 0.00 0.66 1.00

time (sec)

N/A 0.062 0.023 0.002 0.445 0.764 6.321 0.000 2.463 0.074

[next] [prev] [prev-tail] [front] [up]